Enumerating fundamental normal surfaces: Algorithms, experiments and invariants
نویسنده
چکیده
Computational knot theory and 3-manifold topology have seen significant breakthroughs in recent years, despite the fact that many key algorithms have complexity bounds that are exponential or greater. In this setting, experimentation is essential for understanding the limits of practicality, as well as for gauging the relative merits of competing algorithms. In this paper we focus on normal surface theory, a key tool that appears throughout low-dimensional topology. Stepping beyond the well-studied problem of computing vertex normal surfaces (essentially extreme rays of a polyhedral cone), we turn our attention to the more complex task of computing fundamental normal surfaces (essentially an integral basis for such a cone). We develop, implement and experimentally compare a primal and a dual algorithm, both of which combine domain-specific techniques with classical Hilbert basis algorithms. Our experiments indicate that we can solve extremely large problems that were once though intractable. As a practical application of our techniques, we fill gaps from the KnotInfo database by computing 398 previously-unknown crosscap numbers of knots.
منابع مشابه
Admissible Colourings of 3-Manifold Triangulations for Turaev-Viro Type Invariants
Turaev Viro invariants are amongst the most powerful tools to distinguish 3-manifolds: They are implemented in mathematical software, and allow practical computations. The invariants can be computed purely combinatorially by enumerating colourings on the edges of a triangulation T. These edge colourings can be interpreted as embeddings of surfaces in T. We give a characterisation of how these e...
متن کاملFundamental Groups of Complements of Branch Curves as Solvable Groups
In this paper we show that fundamental groups of complements of curves are “small” in the sense that they are “almost solvable”. Thus we can start to compute π2 as a module over π1 in order to produce new invariants of surfaces that might distinguish different components of a moduli space. 0. Applications of the calculations of fundamental groups to algebraic surfaces. Our study of fundamental ...
متن کاملNew Algorithm For Computing Secondary Invariants of Invariant Rings of Monomial Groups
In this paper, a new algorithm for computing secondary invariants of invariant rings of monomial groups is presented. The main idea is to compute simultaneously a truncated SAGBI-G basis and the standard invariants of the ideal generated by the set of primary invariants. The advantage of the presented algorithm lies in the fact that it is well-suited to complexity analysis and very easy to i...
متن کاملIdentifiability and Reconstruction of Shapes from Integral Invariants
Abstract. Integral invariants have been proven to be useful for shape matching and recognition, but fundamental mathematical questions have not been addressed in the computer vision literature. In this article we are concerned with the identifiability and numerical algorithms for the reconstruction of a star-shaped object from its integral invariants. In particular we analyse two integral invar...
متن کاملComputing general geometric structures on surfaces using Ricci flow
Systematically generalizing planar geometric algorithms to manifold domains is of fundamental importance in computer aided design field. This paper proposes a novel theoretic framework, geometric structure, to conquer this problem. In order to discover the intrinsic geometric structures of general surfaces, we developed a theoretic rigorous and practical efficient method, Discrete Variational R...
متن کامل